Complexity of Constraints: An Overview of Current Research Themes: 5250 (Lecture Notes in Computer Science)
by Nadia Creignou
ISBN 13: 9783540927990
Format: Paperback (332 pages) Publisher: Springer Published: 13 Feb 2009
Save for later
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings: 9710 (Lecture Notes in Computer Science)
by Nadia Creignou,Daniel Le Berre
ISBN 13: 9783319409696
Format: Paperback (588 pages) Publisher: Springer Published: 12 Jun 2016